Dependence Logic with Generalized Quantifiers: Axiomatizations
نویسندگان
چکیده
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as “there exists uncountable many.” Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.
منابع مشابه
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic
We provide a concise axiomatization of a broad class of generalized quantiiers in many-valued logic, so-called distribution quantiiers. Although sound and complete axiomatizations for such quantiiers exist, their size renders them virtually useless for practical purposes. We show that for certain lattice-based quan-tiiers relatively small axiomatizations can be obtained in a schematic way. This...
متن کاملGeneralized Quantifiers in Dependence Logic
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics using the Hodges semantics, e.g., IF-logic and dependence logic. For this we introduce the multivalued dependence atom and observe the similarities with the, by Väänänen and Grädel, newly introduced independence atom.
متن کاملA Double Team Semantics for Generalized Quantifiers
We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We als...
متن کاملCharacterizing quantifier extensions of dependence logic
We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.
متن کاملModal Ontology and Generalized Quantifiers
Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013